VPMU: Add the Intel CPU X7542 to the list of supported prcocessors

Signed-off-by: Dietmar Hahn <dietmar.hahn@ts.fujitsu.com>

diff --git a/xen/arch/x86/hvm/vpmu.c b/xen/arch/x86/hvm/vpmu.c
index 5214529a4ed319055e0b0fc44759ca53d3f3ac45..7025ccfa29a5b8952b3ed7c5bc376cdbeb4de913 100644 (file)
--- a/xen/arch/x86/hvm/vpmu.c
+++ b/xen/arch/x86/hvm/vpmu.c
@@ -120,6 +120,7 @@ void vpmu_initialise(struct vcpu *v)
             case 23:
             case 26:
             case 29:
+            case 46:
                 vpmu->arch_vpmu_ops = &core2_vpmu_ops;
                 break;
             }